#!/bin/sh

EXEEXT="@EXEEXT@"
top_srcdir="@top_srcdir@"

BEE_TESTDIRS="ehrhart_e ehrhart_e/scarf ehrhart_e/piplib"

for dir in $BEE_TESTDIRS; do
    for i in "$top_srcdir"/tests/$dir/*; do
	if test -f $i; then
	    for options in '' '--isl'; do
		for spec in 'random' 'bf' 'df'; do
		    opt="--specialization=$spec $options";
		    echo $i $opt;
		    ./barvinok_enumerate_e$EXEEXT --verify $opt < $i || exit;
		done
	    done
	fi
    done
done
for i in "$top_srcdir"/tests/ehrhart_e/scarf/*; do
    if test -f $i; then
	for spec in 'random' 'bf' 'df'; do
	    opt="--specialization=$spec --scarf";
	    echo $i $opt;
	    ./barvinok_enumerate_e$EXEEXT --verify $opt < $i || exit;
	done;
	echo $i --series;
	./barvinok_enumerate_e$EXEEXT --verify --series < $i || exit;
    fi
done
